negative angle identity

负角关系式